Computer algebra system - PDFSEARCH.IO - Document Search Engine

Computer algebra system
Results: 376

#	Item
41	Basic GAMS Modeling An Introductory Class Frisco Colorado, Aug 8-Aug 10, 2016 This is an offering of a Basic GAMS class followed immediately by an advanced class. This will be a three day Basic GAMS class designed for th Add to Reading List Source URL: www.gams.com Language: English - Date: 2016-03-05 16:00:07 Gams Computable general equilibrium Object Process Methodology Economy Business Computer algebra systems Engineering Mathematical modeling General Algebraic Modeling System
42	cvec Compact vectors over finite fields Max Neunhöffer Add to Reading List Source URL: www.gap-system.org Language: English - Date: 2016-06-10 09:36:56 Algebra Abstract algebra Mathematics Field theory Computer algebra Polynomials Finite field Field Matrix Vector space Characteristic Prime number
43	Advanced GAMS Modeling Frisco Colorado, Aug 10-Aug 12, 2016 This is an offering of an Advanced GAMS class preceded immediately by a Basic class. This will be a three day Advanced GAMS class designed for users acquainted Add to Reading List Source URL: www.gams.com Language: English - Date: 2016-03-05 16:00:07 Computer algebra systems Gams Mathematical modeling Operations research SAMPL General Algebraic Modeling System
44	GUROBI OPTIMIZER QUICK START GUIDE c 2016, Gurobi Optimization, Inc. Version 6.5, Copyright Add to Reading List Source URL: www.gurobi.com Language: English - Date: 2016-02-29 22:03:33 Software Computing Scripting languages Mathematical optimization Numerical software Computer algebra systems Mathematical modeling Gurobi AMPL Python X Window System Command-line interface
45	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development
46	Odyssey 2012 The Speaker and Language Recognition WorkshopJune 2012, Singapore Description and analysis of the Brno276 system for LRE2011 Niko Br¨ummer,2 Sandro Cumani,3 Ondˇrej Glembek,1 Martin Karafi´at,1 Pav Add to Reading List Source URL: www.fit.vutbr.cz Language: English - Date: 2012-07-17 02:49:27 Algebra Mathematics Vectors Abstract algebra Linear algebra Machine learning Computer accessibility Speech recognition Euclidean vector Pattern recognition National Institute of Standards and Technology Calibration
47	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
48	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-06-17 04:20:11 Numerical analysis Applied mathematics General Algebraic Modeling System Renewable energy BARON Operations research Mathematical software Computer algebra systems
49	GAMS 1 Franz Nelissen: GAMS Deve!opment Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-04-22 04:58:01 Numerical analysis Mathematical optimization Applied mathematics Numerical software General Algebraic Modeling System Mathematical modeling Algebraic modeling language AMPL Modeling language Operations research Mathematical software Computer algebra systems
50	Microsoft PowerPoint - OSU2011_Poster_yclu Add to Reading List Source URL: ibrc.osu.edu Language: English - Date: 2013-12-27 14:47:52 Computer vision Shoulder Clavicle Skeletal system Statistical shape analysis Bone Eigenvalues and eigenvectors Shape Algebra Anatomy Mathematics

UPDATE